An Extensible Secure OS Architecture for Embedded Systems
نویسندگان
چکیده
منابع مشابه
Secure Architecture in Embedded Systems: an Overview
Security issues become more and more important during the development of mobile devices. In this paper we propose first a brief overview of hardware and software attacks related to embedded systems and second a comprehensive study of existing solutions to protect programs and data exchanges within these systems. Security primitives dedicated to the implementation of a secure architecture are al...
متن کاملCertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels
Complete formal verification of a non-trivial concurrent OS kernel is widely considered a grand challenge. We present a novel compositional approach for building certified concurrent OS kernels. Concurrency allows interleaved execution of kernel/user modules across different layers of abstraction. Each such layer can have a different set of observable events. We insist on formally specifying th...
متن کاملArchitecture/OS Support for Embedded Multi-core Systems
SPECIAL FOCUS ON: ARCHITECTURE/OS SUPPORT FOR EMBEDDED MULTI-CORE SYSTEMS 883 Resource Sharing Problem of Timing Variation-Aware Task Scheduling and Binding in MPSoC Haneul Chon and Taewhan Kim 895 Implementing a Thermal-Aware Scheduler in Linux Kernel on a Multi-Core Processor Liang Xia, Yongxin Zhu, Jun Yang, Jingwei Ye and Zonghua Gu 904 Design of On-Chip Crossbar Network Topology Using Chai...
متن کاملAn architecture for dynamically extensible operating systems
Operating system design has traditionally followed a philosophy in which the system is structured as a fixed set of abstractions and mechanisms. This approach, however, is now showing its limitations in the face of new application areas which demand extensibility and configurability. In this paper, we describe the design of a dynamically extensible operating system called DEIMOS. DEIMOS is uniq...
متن کاملAn Extensible Architecture For
iii Acknowledgments I would like to thank Professor Roy H. Campbell for his considerable assistance in providing direction and helping me successfully achieve my goals for this project. Special thanks to Fabio Kon for providing support in many ways, the answers to many questions, and for performing an excellent review of this thesis. I also want to thank the other members of the 2K project team...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Information Processing
سال: 2013
ISSN: 1882-6652
DOI: 10.2197/ipsjjip.21.650